Merge pull request #658 from soby-mathew/sm/init_spi_ppi_gic
authordanh-arm <[email protected]>
Fri, 15 Jul 2016 17:22:32 +0000 (18:22 +0100)
committerGitHub <[email protected]>
Fri, 15 Jul 2016 17:22:32 +0000 (18:22 +0100)
GIC: Ensure SGIs and PPIs are Group0 before setup


Trivial merge